Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
591	Microsoft Word - Certus SFI 2011 Annual Report.docx Add to Reading List Source URL: certus-sfi.no Language: English - Date: 2014-04-23 07:23:38 Formal methods Pharmaceutical industry Validity Software development Systems science Software development process Software engineering Validation Verification and validation Systems engineering Software testing Science
592	20th International Congress on Modelling and Simulation, Adelaide, Australia, 1–6 December 2013 www.mssanz.org.au/modsim2013 Comparative code verification using redundancy in a system for national scale hydrological mo Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-11-19 22:04:33 Hydrology Science Philosophy of science Systems engineering Evaluation Scientific modelling Verification and validation Software verification Validation Software testing Pharmaceutical industry Validity
593	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein −→ Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computer law Copyleft Formal languages Isabelle Rewriting Creative Commons Divergence Q Theoretical computer science Open content Programming language theory
594	MASSACHVSETTS INSTITVTE OF TECHNOLOGY[removed]Adventures in Advanced Symbolic Programming Request for Proposals—Spring 2015 Overview As advertised in the Red Tape Memo, you will do a significant term project for 6. Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2015-03-02 11:02:01 Domain-specific language Compiler Free software Cross-platform software Systems engineering Device driver synthesis and verification Software Software licenses Computing
595	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein {P} . . . {Q} Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Logic Hoare logic Predicate transformer semantics Mathematics Creative Commons Structure Model theory Program logic Open content Formal methods
596	COMP4161 S2/2014 Advanced Topics in Software Verification Assignment 1 Solution Toby Murray August 27, 2014 Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Computability theory Constructible universe Unification Free variables and bound variables Combinatory logic Fixed-point combinator Theoretical computer science Mathematics Mathematical logic
597	Methods and Tools for the Verification of Critical Properties Roger Bishop Jones International Computers Limited, Eskdale Road, Winnersh, Berks, England, RG11 5TT. Phone: +[removed], E-mail: [removed] Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:55 Theoretical computer science Logic in computer science Specification language Z notation Computer security Formal specification Specification HOL Functional specification Software development Formal methods Computing
598	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein → Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Proof theory Models of computation Computability theory Lambda calculus Natural deduction Ordinal number Curry–Howard correspondence Symbol Mathematical logic Theoretical computer science Mathematics
599	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein Isar Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Mathematical logic Proof theory Logic Computer law Intellectual property law Creative Commons Mathematical proof Copyright law of the United States Natural deduction Open content Copyleft Law
600	Event-Based Runtime Verification of Java Programs Marcelo d’Amorim ∗ † Kestrel Technology Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:18:19 Formal methods Logic in computer science Cross-platform software Temporal logic AWK Runtime verification Model checking Modal logic Formal verification Computing Software engineering Software

UPDATE